| 1. | In the ontology editor Protégé, metaclasses are templates for other classes who are their instances.
Dans l'éditeur d'ontologie et moteur d'inférence Protégé, les métaclasses sont des modèles pour les classes qui sont leurs instances. |
| 2. | As such, the principle is based on the Bayesian idea of the brain as an “inference engine.”
En tant que tel, le principe est basé sur l'idée bayésienne du cerveau comme « moteur d'inférence ». |
| 3. | When asked whether trees die, the inference engine can draw the obvious conclusion and answer the question correctly.
Lorsqu’on lui demande si les arbres meurent, le moteur d'inférence est en mesure de tirer la conclusion évidente et de répondre correctement à la question. |
| 4. | These higher end tools generally have no underlying navigation as they tend to utilize AI methods such as an inference engine.
Ces outils haut de gamme n’ont pas de navigation sous-jacente générale car ils ont tendance à utiliser des méthodes AI comme un moteur d'inférence. |
| 5. | An inference engine using backward chaining would search the inference rules until it finds one with a consequent (Then clause) that matches a desired goal.
Un moteur d'inférence, à l'aide du chaînage arrière, pourrait chercher l'inférence des règles jusqu'à ce qu'il trouve celui qui a une conséquence qui correspond à un objectif désiré. |
| 6. | An inference engine using forward chaining searches the inference rules until it finds one where the antecedent (If clause) is known to be true.
Un moteur d'inférence qui utilise le chaînage avant effectue une recherche dans les règles d'inférence jusqu'à ce qu'il trouve un antécédent (Si l'article) qui est connu pour être vrai. |
| 7. | In this way many of the tasks that would normally be executed by forward or backward chaining in an inference engine can instead be performed by the classifier.
De cette manière, beaucoup des taches qui seraient habituellement exécutées par un moteur d'inférence en chaînage avant ou arrière peuvent désormais être effectuées par le classifieur. |
| 8. | For example, metaclasses could allow a machine reasoner to infer from a human-friendly ontology how many elements are in the periodic table, or, given that number of protons is a property of chemical element and isotopes are a subclass of elements, how many protons exist in the isotope hydrogen-2.
Par exemple, les métaclasses peuvent permettre à un moteur d'inférence d'inférer à partir d'une ontologie compréhensible combien d'éléments chimiques sont présents dans la table périodique des éléments, ou, étant donné que nombre de protons est une propriété d'un élément chimique et que les isotopes sont des sous-classes des éléments, combien de protons il y a dans le deutérium. |
| 9. | Logic: Rescher quantifier Non-classical logic: Dienes–Rescher inference engine (also Rescher–Dienes implication); Rescher–Manor consequence relation Paraconsistent logic: Rescher–Brandom semantics Temporal logic: Rescher operator Scientometrics: Rescher's Law of logarithmic returns Distributive justice: Rescher's effective average measure Dialectics: Rescher's theory of formal disputation Theory of luck: Rescher's luck equation For a more complete list of publications (books) from 1960–2006, see Page
Logique : Quantificateur de Rescher Logique non classique : Moteur d'inférence et implication de Dienes–Rescher ; Relation de conséquence de Rescher-manoir Logique paracohérente : Sémantique de Rescher–Brandom Logique temporelle : opérateur de Rescher Scientométrie : La loi de retours logarithmiques de Rescher Justice distributive : La mesure moyenne effective de Rescher Dialectique : La théorie des Disputatios formels de Rescher Pour une liste plus complète de publications des livres de 1960-2006, voir philosophie |
| 10. | Logic: Rescher quantifier Non-classical logic: Dienes–Rescher inference engine (also Rescher–Dienes implication); Rescher–Manor consequence relation Paraconsistent logic: Rescher–Brandom semantics Temporal logic: Rescher operator Scientometrics: Rescher's Law of logarithmic returns Distributive justice: Rescher's effective average measure Dialectics: Rescher's theory of formal disputation Theory of luck: Rescher's luck equation For a more complete list of publications (books) from 1960–2006, see Page
Logique : Quantificateur de Rescher Logique non classique : Moteur d'inférence et implication de Dienes–Rescher ; Relation de conséquence de Rescher-manoir Logique paracohérente : Sémantique de Rescher–Brandom Logique temporelle : opérateur de Rescher Scientométrie : La loi de retours logarithmiques de Rescher Justice distributive : La mesure moyenne effective de Rescher Dialectique : La théorie des Disputatios formels de Rescher Pour une liste plus complète de publications des livres de 1960-2006, voir philosophie |
